A few typos in the conversion, I think we're good now