Cosmetic improvements.  Translated some comments to English.