Commit the fixed pgns.json and pgns.xml with the fixes from issue #16.