Small bug with java.math.BigDecimal