minor docu updates