A very small fix to translate to English.

A trivial fix not translated in English but in German.