diff --git a/share/autocomplete_frama-c b/share/autocomplete_frama-c
index db940aff16c5e1b62b65617c303ccf58b9ecc75b..02b607be09913960f7b7931f7bae1f6b3e6cb559 100644
--- a/share/autocomplete_frama-c
+++ b/share/autocomplete_frama-c
@@ -93,8 +93,8 @@ _frama-c ()
   elif [[ "${COMP_WORDS[COMP_CWORD -1]}" == "-wp-prover" ]]
   then
       local prefix=; [[ $cur == *,* ]] && prefix="${cur%,*},"
-      advance_options="$(frama-c -wp-detect | grep -E -o " \[.*" | grep -E -o "[^\[-\|]*")"
-      advance_options+="none script tip native:alt-ergo native:coq native:coqide"
+      advance_options="$(frama-c -wp-detect | grep -E -o " \[.*" | grep -E -o "[^]\[-\|]*")"
+      advance_options+=" none script tip native:alt-ergo native:coq native:coqide"
       local ambigous="$(bind -v | grep show-all-if-ambiguous)"
       ambigous="${ambigous##* }"
       if [[ "$ambigous" == "on" ]]