Some docu fixes