That just has to be updated by the NXT platform, the tokens have been burnt as is no fault of JANUS TEAM that the asset exchange hasn't updated. Everywhere else has been updated as far as i know and there are only just over 25 million tokens now. This is the most transparent DEV Team I ever have met so you don't have to doubt them, that's for sure. If you have any doubts whatsoever go into the slack and ask the JANUS TEAM anything you like, don't just take my word for it. They are always available to answer questions when they have a time spare as they work very hard.