missing empty space on EOF