diff --git a/doc/main.tex b/doc/main.tex
index fbd7030..4ce17d7 100644
--- a/doc/main.tex
+++ b/doc/main.tex
@@ -42,7 +42,6 @@
 \institution{\chalmers}
 \department{Department of Computer Science and Engineering}
 \researchgroup{Programming Logic Group}
-\bibliographystyle{plain}
 
 %% \newtheorem{prop}{Proposition}
 \makeatletter
diff --git a/doc/packages.tex b/doc/packages.tex
index bc903cb..20a944e 100644
--- a/doc/packages.tex
+++ b/doc/packages.tex
@@ -1,6 +1,8 @@
 \usepackage[utf8]{inputenc}
 
 \usepackage{natbib}
+\bibliographystyle{plain}
+
 \usepackage[
   hidelinks,
   pdfusetitle,