diff --git a/UPF_Firewall/document/root.tex b/UPF_Firewall/document/root.tex
index 326a83b..ea3b54e 100644
--- a/UPF_Firewall/document/root.tex
+++ b/UPF_Firewall/document/root.tex
@@ -16,7 +16,7 @@
 \usepackage{paralist}
 \usepackage{xspace}
 \usepackage{amsmath}
-\usepackage[USenglish]{babel}
+\usepackage[english]{babel}
 \newcommand{\testgen}{HOL-TestGen\xspace}
 \newcommand{\testgenFW}{HOL-TestGen/FW\xspace}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}