Tiny fix to files so that they end with blank newlines.