Fix: menu wasn't opening on F10

TBR: a trivial fix