Fix https://github.com/julianhyde/optiq/issues/37, "Document JSON model file format"