fix get_token()
operators added, but not test