Any idea why the burnt tokens is not removed from the total token supply?