Add proper json-serializing