correcting tiny rounding error in lumi