fix a bug in domain