mp_integer: fix a comment, and a minor addition to the tests.