With John's approval, I've fixed this and published it as an erratum.

Here's the diff.

This goes to show that Alex was right: two days wasn't enough time between bringing up the flround issue and finalizing.  That was my fault.  I will wait longer in the future.

Thanks, everyone.