Fixes to json and stan files