Fix Alt+F3 fiasco.