Minor changes to read_some_lines