correcting options of coqdoc