simpler names, since we know were doing json marshalling