dotty update