More compact pattern notation in JSON file.