Tweak prettyprint style
Fix a failing test by rebuilding the test-project