diff --git a/mythril/analysis/module/modules/user_assertions.py b/mythril/analysis/module/modules/user_assertions.py
index 24255a65..c869c97e 100644
--- a/mythril/analysis/module/modules/user_assertions.py
+++ b/mythril/analysis/module/modules/user_assertions.py
@@ -45,7 +45,6 @@ class UserAssertions(DetectionModule):
             self.cache.add(issue.address)
         self.issues.extend(issues)
 
-
     def _analyze_state(self, state: GlobalState):
         """
 
diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py
index 67f1b44e..69eaadf0 100644
--- a/mythril/laser/ethereum/state/constraints.py
+++ b/mythril/laser/ethereum/state/constraints.py
@@ -13,7 +13,7 @@ class Constraints(list):
 
     """
 
-    def __init__(self, constraint_list: Optional[List[Bool]] = None,) -> None:
+    def __init__(self, constraint_list: Optional[List[Bool]] = None) -> None:
         """
 
         :param constraint_list: List of constraints