It's too bad, though, because all the extra quotes bloat what is otherwise a nice, spare format.