Item12246: docu fixes