small fix in docu