more docu fixes