Okay, JSON highlighting's not so useful here