Fixing up the conversion after the latest ripple updates