fixed a small bug in dbbrowser.py; updated man page