Minor fix to documentation