Added special cases for pretty printing domains