Fix description of MAC calculation in SAS verification.