Fixes pretty printing