bump version
Fix bug in json serialization