made a small change to db.php