Okay, fixed (in all 3 places) and pushed.  BTW, this exercise of keeping the documentation in all 3 places in sync has made me wonder if we should rethink how we do the documentation... :)