Version 1.7.2 - fixes a bug in JSON-encoding.