diff --git a/papers/vstte2024/paper.bib b/papers/vstte2024/paper.bib
index cb835487fa70..dafdbc98cbb2 100644
--- a/papers/vstte2024/paper.bib
+++ b/papers/vstte2024/paper.bib
@@ -1,5 +1,5 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
+% Copyright Kani Contributors
+% SPDX-License-Identifier: Apache-2.0 OR MIT
 
 \begin{paper}{8}
 @inproceedings{verus-sys,
diff --git a/papers/vstte2024/paper.tex b/papers/vstte2024/paper.tex
index 745b228c07a3..357cf23a8f14 100644
--- a/papers/vstte2024/paper.tex
+++ b/papers/vstte2024/paper.tex
@@ -1,5 +1,5 @@
-# Copyright Kani Contributors
-# SPDX-License-Identifier: Apache-2.0 OR MIT
+% Copyright Kani Contributors
+% SPDX-License-Identifier: Apache-2.0 OR MIT
 
 \documentclass[runningheads]{llncs}
 %