Got rid of some semi-meaningless warnings. One important thing: made the once_token static!