small fix to ExprPrinter