Item13030: docu fixes