Remove now-unused "undot" class