Heinz yellow -- rediscovered?

Hi all -- occasional lurker, but this is my first post, I think. Love me a standard prepared yellow mustard (yes, I do love vinegar). Preferred Heinz for many years, but then they changed the formula a while back and I lost interest. Had a Texas Double Whopper at BK today and was blown away by the mustard, which I'm told was Heinz -- did they change the formula back, or was I wrong about the recent reformulation?