repair specs for user_controller