Fix minor imprecision in spec for problem 3.