fixed a small typo in read_input.l