Minor change to docs