Minor enhancements.

If you have login problems, use your school-affiliated email address to contact [email protected]