And here's a hack to make printed quotedExprs look 'right'