fix bug with pushToken 

fix issue #553