some minor change in the docu