Cosmetics: comments added.
Cosmetic: typos in comments corrected.