Fix JSON (de)serialisation issues