Fix for missing empty line at the end of source files