doc fix, fixes #123