Internationalization: some more documentation fixes