     Evaluate SEXP when leaving the micro-state.
 
 `:doc STRING or SEXP'
-    A STRING or a SEXP that evaluates to a string
+    A STRING or a SEXP that evaluates to a string.
+
+`:use-minibuffer BOOLEAN'
+    If non nil then the minibuffer is used to display the documenation
+    strings. Default is nil.
 
 `:persistent BOOLEAN'
     If BOOLEAN is non nil then the micro-state never exits. A binding
-    with an explicitly set `exit t' property is required.
+    with an explicitly set `exit t' property is required. Default is nil.
 
 `:bindings EXPRESSIONS'
     One or several EXPRESSIONS with the form

  (let* ((func (spacemacs//micro-state-func-name name))
         (doc (spacemacs/mplist-get props :doc))
         (persistent (plist-get props :persistent))
         (exec-binding (plist-get props :execute-binding-on-enter))
         (on-enter (spacemacs/mplist-get props :on-enter))
         (on-exit (spacemacs/mplist-get props :on-exit))
         (bindings (spacemacs/mplist-get props :bindings))
         (wrappers (spacemacs//micro-state-create-wrappers name doc bindings))
         (keymap-body (spacemacs//micro-state-fill-map-sexps wrappers))
         (bindkeys (spacemacs//create-key-binding-form props func)))
    `(progn (defun ,func ()

              (interactive)
              (let ((doc ,@doc))
                (when doc
                  (apply ',msg-func (list (spacemacs//micro-state-propertize-doc
                                      (format "%S: %s" ',name doc))))))
              ,(when exec-binding
                 (spacemacs//micro-state-auto-execute bindings))
              ,@on-enter
