Correct misprint in AES appendix.