Fix minor mistake in comment.