diff --git a/frontend/json-schema-bin/src/main.rs b/frontend/json-schema-bin/src/main.rs
index 51080ddf..cd4823c7 100644
--- a/frontend/json-schema-bin/src/main.rs
+++ b/frontend/json-schema-bin/src/main.rs
@@ -56,5 +56,5 @@ fn main() {
         }
     }
 
-    std::fs::rename(&tmp_path, path).unwrap()
+    std::fs::copy(&tmp_path, path).unwrap();
 }
diff --git a/frontend/src/gen-types.d.ts b/frontend/src/gen-types.d.ts
index e30cc64c..df7a76ad 100644
--- a/frontend/src/gen-types.d.ts
+++ b/frontend/src/gen-types.d.ts
@@ -725,7 +725,7 @@ export interface Trick {
    *
    * TODO: remove default deserialization attribute in a few days.
    */
-  played_card_mappings?: Array<TrickUnit[] | null>;
+  played_card_mappings?: (TrickUnit[] | null)[];
   played_cards: PlayedCards[];
   player_queue: number[];
   trick_format?: TrickFormat | null;