Correct a comment based on feedback from @whitequark