modify convert-stx