two minor fixes #5083

Job	Run time
rocq-core	59s
rocq-elpi	55s
coq-elpi	52s
stdlib	52s
coq	1m 6s
hierarchy-builder	49s
mathcomp-bigenough	57s
mathcomp-finmap	55s
mathcomp	59s
mathcomp-analysis-single	18m 32s
mathcomp-classical	3m 15s
mathcomp-reals	4m 26s
mathcomp-analysis	16m 13s
mathcomp-reals-stdlib	1m 37s
mathcomp-experimental-reals	1m 54s
mathcomp-analysis-stdlib	16m 52s
	1h 11m 13s

Provide feedback