changed default for domain to mininet