Fixed an issue in machine/addtoken