Let Json.checkType take an optional string to avoid compilation errors in the future.