Update the docs after bugfix.