Just a final hack for today to see whether conversion works (and it
does)