fixed a small bug in dbbrowser.py; updated man page
merged changes in master to development