minor change in psb/database.h