 The town fell later, in autumn, but the Arabs' numbers were so depleted that they had to abandon it and retreat west.Theodotus launched a pursuit and inflicted heavy casualties, so that most of the Andalusians departed the island.However, Theodotus too was killed at this time, possibly in one of these skirmishes.