This fixes #211 (closed). I checked this locally with coqdoc.
Makes sense, thanks!
merged
mentioned in commit 95e76f9d
