minor changes to ModelMaze