JSON file to be able to debug issue #4