Stupid PHP workaround for the server since you can't force
json_encode to use a specific data type and PHP does not
distinguish between lists and dictionaries
Bumped version to 0.1.3