Bad end-of-file char.