GSW: fixed mistakes in minesweeper example code, after running through WyC.