Repairing MixColumns