translation changes. Fixes #9531