a non-existent menu-file was referenced, which led to a undefined state exception