fix #284: CTL+D following an error