Fix small bug in updater-script