Add missing EOF marker