small mistakes in AAE theory doc