An example of bad numbering in GFM