Fix thinko in comment.