Update convert.sage