fixed some minor issues in documentation