use double-colon to make sure top level JSON module is used