fix minor issues in doc