Don't use times by default
diff --git a/Doc/qua.tex b/Doc/qua.tex
index ec7aaef..b90a921 100644
--- a/Doc/qua.tex
+++ b/Doc/qua.tex
@@ -1,4 +1,4 @@
-\documentstyle[11pt,times]{article}
+\documentstyle[11pt]{article}
 
 \title{
 Interactively Testing Remote Servers Using the Python Programming Language