Escape translations to make JS happy