Internationalization: minor fixes to documentation