Small fixes to quasi-quotation