got rid of our ad-hoc string tokenizer, since JSON now available