fix a few missed json encodings