no more useless printing for menus, fixes #575