Fix a naming mismatch.
Working version of the lawnmower problem.