fix broken link in EBNF section for checksum