Don Miguel hade upphört.