Make JSON more succinct