minor documentation fixes.