Make sure the VanillaConfigUpToDate change gets also saved

Small improvement. Sorry just realized it a few seconds ago.