JSON fix

See #8