fix EOF in help()