fixed a bug with the default mensa