Minor fix to doc