Minor fix in ASTIndexOf docs