Don't know why @joka did the convert in the first place, and also why it's not working anymore. But yes, we should resolve that before merging. @joka - any idea?