Consistently use empty instead of is_empty

@cpennington FYI, I noticed that I forgot to change "is_empty" to "empty" in the JSON representation.