Eof: clarifying final newline character