Update maze.v

oops