SML: remove quotation mark