Fix commit 3475638:  translation weren't generated in Jed format...