fix prettyprint and scalariform