doc fix, fixes #docs/8