newline character missing from EOF