Fixed an off-by-one in prob8