fixed two bugs in ListDB.py, see HISTORY
updated history and version number to 0.1.3