Thanks for the reply! I have not been able to duplicate this behavior, and I haven't received any further bug reports from the student. I wonder if he might have just needed to refresh his browser....