Minor fix to user.js