Fix a minor comment typo in bignum.h