Minor editorial error during minor revision. Should I notify the editor or just correct it?
Take option #1, correct it now and notify the editor. The decision letter did say "do not make additional changes", but that is almost certainly referring to changes that will need to be peer reviewed. This kind of minor change that no reasonable person will disagree with is not a problem. 

If you're still worried, you can also do #3.