Cleaning up a leftover from the JSON implementation