corrected some mismatches in read_input.l