Introduct more UTF-8 discipline

This fixes an error in the Portuguese translation, and, possibly,
also in the German one.