(init_user_info): Fix weird formatting not following GNU coding guidelines.