Fix a missed edit from previous comments.