fix menubutton. Fixes #673