Check_input *should* work.
Bug in read_file.