Fix demo9.json to comport with changes to demo9.yaml.
Add HISTORY item for this bug fix.