A bug fixed in update.php