Fixes crash in JSON encoder
Release 1.0.2