Fixes to user.js