-The argument @var{default} is the default name to use, the value to
-return if the user exits with an empty minibuffer. If non-@code{nil},
-it should be a string, a list of strings, or a buffer. If it is
-a list, the default value is the first element of this list. It is
-mentioned in the prompt, but is not inserted in the minibuffer as
-initial input.
+It prompts with @var{prompt}. The argument @var{default} is the
+default name to use, the value to return if the user exits with an
+empty minibuffer. If non-@code{nil}, it should be a string, a list of
+strings, or a buffer. If it is a list, the default value is the first
+element of this list. It is mentioned in the prompt, but is not
+inserted in the minibuffer as initial input.