don't panic on EOF