debugging more prod
adding a buffer to see if it is a rounding error