fix issues in the documentation