Fix forgotten name in comment.