Not a release, just a fix in the docs.