minor changes to docu