Fixing small bug with differential updating (introduced since last release)