fix minor issues in the documentation