small fix to docs in previous commit