Some version JSON fixes