Apply suggestions from code review
Apply suggestions from code review

Co-Authored-By: Karl Palmskog <d491a401c71ddbdeba3573adcabb152287caf226@gmail.com>
coq/opam-coq-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive