Correctly update version.json