Good catch. The measurements are noisy, but I think that change saved another 20 or 30 MiB on my test case.