Fix F10 behaviour. (Reported by Bernard Adrian.)