Update user_input.h