A few minor cleanups
Code style cleanup on user.js