   (when (eq id 'interactive)
     (setq id (fstar--read-string "Show definition of%s: " (fstar--fqn-at-point))))
   (fstar-subp--query (fstar-subp--positionless-lookup-query id
-                  '(type defined-at documentation definition))
+                  '(type defined-at documentation definition) 'symbol-only)
                 (fstar-subp--lookup-wrapper (point)
                   #'fstar--doc-at-point-continuation)))
 


;;; ;; ;; Lookup queries

(defun fstar-subp--positional-lookup-query (pos fields)
  "Prepare a header for an info query at POS with FIELDS."
  (declare (indent 1))
  (if (fstar--has-feature 'json-subp)
      (make-fstar-subp-query
       :query "lookup"
       :args `(("symbol" . ,(or (fstar--fqn-at-point pos) ""))
               ("requested-info" . ,fields)
               ("location" .
                (("filename" . "<input>")

  (when (eq id 'interactive)
    (setq id (fstar--read-string "Show docs for%s: " (fstar--fqn-at-point))))
  (fstar-subp--query (fstar-subp--positionless-lookup-query id
                  '(type defined-at documentation) 'symbol-only)
                (fstar-subp--lookup-wrapper (point)
                  #'fstar--doc-at-point-continuation)))

