Minor fix to docs