make EOF explicit