Yes, but it probably won't be a protocol level change. It'll likely be an inflation of "paper Bitcoin", meaning Swan (for example) will say they have 5,000 when they actually have 4,000. As long as everyone doesn't withdraw, no one will be any the wiser.