fix for update.php, see issue #259