* read.c (read_a_source_file): Use demand_empty_rest_of_line.