Passed down pretty printing priority everywhere
Merge pull request #5 from JanBessai/master

Prettyprinting precedence