Fixed a mistake in the alphabet constant for the address encoding.