diff --git a/init.vim b/init.vim
index 76a37c6..04eec3d 100644
--- a/init.vim
+++ b/init.vim
@@ -490,7 +490,7 @@ if g:use_vimtex == 1
     let g:polyglot_disabled = ['latex', 'tex']
 
     let g:tex_flavor='latex'
-    let g:vimtex_syntax_autoload_packages = ['hyperref', 'listings', 'luacode', 'minted']
+    "let g:vimtex_syntax_packages = {'hyperref':{'load':2}, 'listings':{'load':2}, 'luacode':{'load':2}, 'minted':{'load':2}}
     let g:vimtex_format_enabled = 1
     let g:vimtex_indent_enabled = 1
 
diff --git a/spell/en.utf-8.add b/spell/en.utf-8.add
index c71b52b..a81b0b9 100644
--- a/spell/en.utf-8.add
+++ b/spell/en.utf-8.add
@@ -38,3 +38,8 @@ GTAs
 #stimatior
 Estimatior/!
 Perceptron
+MHP
+ABL
+Dataflow
+dataflow
+overapproximation
diff --git a/spell/en.utf-8.add.spl b/spell/en.utf-8.add.spl
index 6bc00b3..b65c2b5 100644
Binary files a/spell/en.utf-8.add.spl and b/spell/en.utf-8.add.spl differ