I did an implementation myself a month or two ago and noticed the same thing. The contradiction is hard to miss.