Fix an error introduced by commit 93cdbed3dd0d1633fe937c92bc3685ba9ff466e6
-rw-r--r-- 163 .gitignore
-rw-r--r-- 17991 COPYING
-rw-r--r-- 8069 ChangeLog
-rw-r--r-- 1735 Makefile
-rw-r--r-- 313 README
-rw-r--r-- 8 VERSION
drwxr-xr-x - contrib
drwxr-xr-x - distfiles
drwxr-xr-x - doc
drwxr-xr-x - mic
-rw-r--r-- 1817 setup.py
drwxr-xr-x - tests
drwxr-xr-x - tools