bug 1139: added line break and end of file