Ooooops. Ctrl+D instead of Ctrl+F