Oh, I overlooked this typo. Interestingly enough: this is obviously broken JSON, but the JsonConverter did not complain. This is a quite interesting observation.