Fixed meaning of 'domain' and 'domaintip'