Passed down pretty printing priority everywhere