Fix docu typo