"with" word withing comments spills into outline

Example:

```
Lemma foo: nat -> nat. Admitted.
(** Something to do
with natural numbers *)
Lemma foo1: nat -> nat. Admitted.
```

Pressing `C-c C-,` will display the following outline:

```
Outline of [test.v]
      1:Lemma foo: nat -> nat. Admitted.
      3:with natural numbers *)
      4:Lemma foo1: nat -> nat. Admitted.
```
