Fix updatedatabase.pl mess coming from last merge?