   (-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. \

When HELP-KBD is non nil and info includes a docstring, suggest
to use HELP-KBD to show documentation."
  (concat
   (let* ((type (fstar-lookup-result-type info))
          (clean-type (replace-regexp-in-string "uu___:" "" type)))
     (fstar-highlight-string
      (format "%s: %s" (fstar-lookup-result-name info) clean-type)))
   (if (and help-kbd (fstar-lookup-result-doc info))
       (substitute-command-keys (format " (%s for help)" help-kbd))
     "")))

                       (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)))))
