Better comment on the invariant in getDifferences()