add the capability to push back one token to the Source