some fixes in docu