Fixes #1611: another correction to de translations