Make minor changes to documentation.
Fix minor issues in query reformulation utils.