Minor fix for document