Tidied. Updated translations.