user.module:
  - Fixed the session support.  Requires a database update.
  - Applied a tiny optimization suggested by deekayen.