Tweaks to search.py; Documentation update