Shrink limits of integration over arrival time

Not because I think it is correct or well-justified, but because this is
the value that I used originally.