Fixed bug in domain enumeration