json encoding bug in py3