Fixed minor type issue in docu