Fix for prettyprint plugin