Ctrl+Enter now has consistent behavior. Fixes #147