End-of-file newline in pretty mode

- Good practice (always newline at EOL)
- Avoids shell prompt ending up to the right of
  last line when doing e.g. CURL