Little bugfix in menu