Clean up spurious trailing whitespace, and extra/missing newlines at EOF...