Properly undefine the domain