documentation minor fixes

mostly forgotten '::'