Improving pretty printing for the SDF3 project.