diff --git a/vimrc b/vimrc
index b06aaa9..2bfd292 100644
--- a/vimrc
+++ b/vimrc
@@ -139,12 +139,12 @@ let g:jellybeans_overrides = {
   \}
 colors jellybeans
 
-au syntax java  set ts=4 sts=4 sw=4
+au syntax java  setl ts=4 sts=4 sw=4
 
-au BufNewFile,BufRead *.s set ft=tptp
-au BufNewFile,BufRead *.s.out set ft=tptp
-au BufNewFile,BufRead *.tptp set ft=tptp
-au BufNewFile,BufRead *.smt2 set ft=smt
+au BufNewFile,BufRead *.s setl ft=tptp
+au BufNewFile,BufRead *.s.out setl ft=tptp
+au BufNewFile,BufRead *.tptp setl ft=tptp
+au BufNewFile,BufRead *.smt2 setl ft=smt
 
 au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))