small changes

This changes were made while trying to solve the Bignum bug.