Minor performance fixes in spline_int()