Update user.kod

Weird, it missed the update last time