fixed a rounding error (damn BigDecimals...)