Fixes to domain.inc.php