Fix example and add xa'u to BNF.