CTRL+D => EOF

Fixes #290.