small fix in db.php