Small change in db.php