Fix an ENDFILE bug