diff --git a/docs/databaseGuide.odp b/docs/databaseGuide.odp
new file mode 100644
index 000000000..15dc883d4
Binary files /dev/null and b/docs/databaseGuide.odp differ
diff --git a/docs/databaseGuide.pdf b/docs/databaseGuide.pdf
new file mode 100644
index 000000000..98afead05
Binary files /dev/null and b/docs/databaseGuide.pdf differ
diff --git a/smodels/tools/printerTools.py b/smodels/tools/printerTools.py
index 8de0a8ffa..acef59a4b 100644
--- a/smodels/tools/printerTools.py
+++ b/smodels/tools/printerTools.py
@@ -12,7 +12,6 @@
 """
 
 from __future__ import print_function
-import copy
 import numpy as np
 import itertools
 from collections import OrderedDict