Ah, quit and launch didn't work but system restart worked. Anyway, this problem is now no more.
Thanks!
(note that closing the window isn't the same as quitting the app, but I'm happy it worked out!)