doc fix, fixes #3169