update docs, fixes #4343

I just updated the docs.