cosmetics, translations, html indentation