Fix bug in update.php