Minor fix on documentation