Minor improvement to docs.