diff --git a/ITP/.DS_Store b/ITP/.DS_Store
deleted file mode 100644
index 5008ddf..0000000
Binary files a/ITP/.DS_Store and /dev/null differ
diff --git a/ITP/main.tex b/ITP/main.tex
index 3f80553..b7873ee 100644
--- a/ITP/main.tex
+++ b/ITP/main.tex
@@ -153,7 +153,7 @@
 
 \funding{Supported by the National Science Foundation (NSF) grant CCF-2229099.}
 
-\supplementdetails[subcategory={Source Code}]{Software}{https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024}
+\supplementdetails[subcategory={Source Code}, cite={}, swhid={}]{Software}{https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024}
 
 \EventEditors{Yves Bertot, Temur Kutsia, and Michael Norrish}
 \EventNoEds{3}