A model that behaves differently after an upgrade