Work around a rounding error