bug in the default menufile