Small bug fix in input_timeout