Minor fix to docs.