fix default type of vertical_controls_timer, should be int