minor docu corrections