Fix typo in docu