Fixed an overflow in xBLEU