Better printing of domains