Fix a typo (test commit)

Hi Lorenz,

please check my change. It is very useful!

Greetings, Michael