Fix pretty printing & 'testSharing'