Patches to domain.inc.php