fixing various errors in documentation