Cosmetic change: fix comment.