update docs, fixes #4343