Proper JSON representation for the Config type