Small fix in chat80 doctest

This fixes the chat80 doctest so it is up to date with 'book_grammars/sql0.fcfg'.