Minor fix to DOCs.