typo...

Hi Gabriel,

sadly, I did a typo in my last commit, could you please pull in this fix here?

Matthias