Cosmetic: typos in comment.