minor: bug fix and comment in domain.