a trap when using EOF