some smalle fixes in documentation