Coq doc update.