Fixes #1: missing menu entries in OS X.