diff --git a/stl/__init__.py b/stl/__init__.py
index b8ef2fb..f157c69 100644
--- a/stl/__init__.py
+++ b/stl/__init__.py
@@ -1,7 +1,7 @@
 # flake8: noqa
 from stl.ast import TOP, BOT
 from stl.ast import (LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg,
-                     Var, AtomicPred, Until)
+                     Var, AtomicPred, Until, Next)
 from stl.parser import parse
 from stl.fastboolean_eval import pointwise_sat
 from stl.types import STL
diff --git a/stl/test_utils.py b/stl/test_utils.py
index 7aaf269..a8a024c 100644
--- a/stl/test_utils.py
+++ b/stl/test_utils.py
@@ -95,8 +95,6 @@ def test_discretize():
         '(~((X(A)) ∨ (X(X(A))))) ∧ (~((X(X(A))) ∨ (X(X(X(A))))))')
 
 
-
-
 def test_scope():
     dt = 0.3