small changes to docu