Minor fixes up to update.php