Fix small mistake in db.php