Fixes typo that student pointed pointed out in Discussion.