minor change (prettyprinted json for widgets definition file)