            do (delete-overlay overlay)))
 
 (defun fstar-subp-warn-unexpected-output (string)
-  "Warn user about unexpected output STR."
+  "Warn user about unexpected output STRING."
   (message "F*: received unexpected output from subprocess (%s)" string))
 
 (defun fstar-subp-filter (proc string)

    map))

(defun fstar-newline-and-indent (arg)
  (interactive "*P")
  (if (save-excursion (beginning-of-line) (looking-at-p "[ \t]*$"))
      (progn (delete-region (point-at-bol) (point-at-eol))

;;; Indentation

(defun fstar-comment-offset ()
  "Compute offset at beginning of comment."
  (comment-normalize-vars)
  (when (fstar-in-comment-p)
    (save-excursion
