Correcting JSON serialisation