fix some coqdoc warnings

3 jobs for master in 4 minutes and 44 seconds (queued for 5 seconds)