   (-if-let* ((doc (and info (fstar-lookup-result-doc info))))
       (with-help-window fstar--doc-buffer-name
         (with-current-buffer standard-output
-          (insert (fstar--unwrap-paragraphs doc))
+          (insert (fstar--unwrap-paragraphs (string-trim doc)))
           (fstar--highlight-docstring-buffer)))
     (message
      (substitute-command-keys "No documentation found. \

      (setq-local fstar-enabled-modules '(font-lock prettify))
      (fstar-mode))))

(defun fstar-highlight-string (str)
  "Highlight STR as F* code."
  (fstar--init-scratchpad)
  (with-current-buffer fstar--scratchpad
    (erase-buffer)
    (insert str)
    (if (fboundp 'font-lock-ensure)
        (font-lock-ensure)
      (with-no-warnings (font-lock-fontify-buffer)))

                       (if (string-match-p "\n" term) "\n" " ")
                       (fstar--reduction-arrow "↓" "βδιζ")
                       (if (string-match-p "\n" response) "\n" " ")
                       (fstar-highlight-string (fstar--unparens response))))
    (`failure (message "Evaluation of [%s] failed: %s"
                       (fstar-highlight-string term)
                       (string-trim response)))))
