There's 9 bits in an ECC byte.