Bugfix: pan animation would “overshoot” if for some reason the JQuery time tick was delayed in its execution. We now handle this gracefully.