Fix PrettyPrinter plugin

ffs