--- a/editors/CodeFileEditor.py	Thu Aug 17 16:26:32 2017 +0300
+++ b/editors/CodeFileEditor.py	Thu Aug 17 17:25:17 2017 +0300
@@ -575,8 +575,8 @@
 
     def RemoveHighlight(self, start, end, highlight_type):
         highlight_type = HIGHLIGHT_TYPES.get(highlight_type, None)
-        if (highlight_type is not None and
-            (start, end, highlight_type) in self.Highlights):
+        if highlight_type is not None and \
+           (start, end, highlight_type) in self.Highlights:
             self.Highlights.remove((start, end, highlight_type))
             self.RefreshHighlightsTimer.Start(int(REFRESH_HIGHLIGHT_PERIOD * 1000), oneShot=True)