cperciva parent
Knuth judged that it wasn't an erratum, since the bound he included was correct and he never claimed it was optimal. :-/
Did he decide to include your better bound in future editions?
Yes. I believe proving the strict bound is one of the exercises now.