version 0.0.17: small JSON fix