Doc translation
Fix a bug in strings-of