Fix that was causing update.php not to properly do db management