0.001_02; docu-fix