fixing a few bugs in the coqstd.