Improved the printer so domains.h is a user file