Another small change to docs