BigInteger: fix syntax error