     (lean-server-send-cmd-sync (lean-cmd-findp line-number prefix)
                                (lambda (candidates)
                                  (lean-debug "executing continuation for FINDP")
-                                 (-map 'company-lean--findp-make-candidate candidates)))))
+                                 (--map (company-lean--findp-make-candidate it prefix) candidates)))))
 
 (defun company-lean--findp-location (arg)
   (lean-generate-tags)

    (lean-server-send-cmd-sync (lean-cmd-findg line-number column-number pattern)
                               (lambda (candidates)
                                 (lean-debug "executing continuation for FINDG")
                                 (-map 'company-lean--findp-make-candidate candidates)))))

(defun company-lean--findg-pre-completion (args)
  "Delete current '_' before filling the selected AC candidate"

            (string-match "[_.]" prefix)))
      prefix)))

(defun company-lean--findp-make-candidate (arg prefix)
  (let* ((text  (car arg))
         (type  (cdr arg))
         (start (s-index-of prefix text)))
    (propertize text
                'type  type
                'start start
                'prefix prefix)))

(defun company-lean--findp-candidates (prefix)
  (let ((line-number (line-number-at-pos))
