Get rid of a TODO for dotty ops