Revise JSON grammar