Minor fix to documentation.