 (defun fstar--highlight-docstring (str)
   "Highlight STR as an F* docstring."
   (with-temp-buffer
-    (insert (string-trim str))
-    (fstar--highlight-docstring-buffer)
+    (insert str)
+    (fstar--highlight-docstring-region (point-min) (point-max))
     (buffer-string)))
 
 (defun fstar-setup-font-lock ()

       :name name
       :def-start (cons (string-to-number start-r) (string-to-number start-c))
       :def-end (cons (string-to-number end-r) (string-to-number end-c))
       :type type
       :doc doc))))

(defun fstar-subp-json--parse-info (json)
  "Parse info structure from JSON."

  "Format signature of INFO.
When HELP-KBD is non nil and info includes a docstring, suggest
to use HELP-KBD to show documentation."
  (concat (fstar-highlight-string (format "%s: %s"
                                     (fstar-lookup-result-name info)
                                     (fstar-lookup-result-type info)))
          (and help-kbd (fstar-lookup-result-doc info)
               (substitute-command-keys (format " (%s for help)" help-kbd)))))


(defun fstar-lookup-result-docstring (info)
  "Format docstring of INFO, if any."
