recoloured and retargetted for Dotty