minor fixes in documentation
minor fixes
minor fixes