Fix bug in domain output