Fix small issues in de-translation