#867: translate