Massive polishing. Updated translations.