diff --git a/archivebox/main.py b/archivebox/main.py
index 141fe34c..85f58341 100644
--- a/archivebox/main.py
+++ b/archivebox/main.py
@@ -83,7 +83,6 @@ from .config import (
     EXTERNAL_LOCATIONS,
     DATA_LOCATIONS,
     DEPENDENCIES,
-    DEBUG,
     load_all_config,
     CONFIG,
     USER_CONFIG,
diff --git a/bin/lint.sh b/bin/lint.sh
index fad7fda9..2783dcca 100755
--- a/bin/lint.sh
+++ b/bin/lint.sh
@@ -14,5 +14,9 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && cd .. && pwd )"
 
 source "$DIR/.venv/bin/activate"
 
+echo "[*] Running flake8..."
 flake8 archivebox
-mypy archivebox
+echo
+echo
+echo "[*] Running mypy..."
+mypy archivebox || true