Fix json encoding bug