I know it happens automatically in general, but this will make it still correct when we stop zeroing everything.