Small type corrections in AES implementations