diff --git a/syntax/beluga.vim b/syntax/beluga.vim
index 6501737..935cae5 100644
--- a/syntax/beluga.vim
+++ b/syntax/beluga.vim
@@ -29,7 +29,7 @@ syn match belPragma /\%(%\|\<--\)\%(coverage\|warncoverage\|nostrengthen\|infix\
 hi def link belPragma Special
 
 syn keyword belDecl
-  \ LF inductive coinductive fun stratified proof schema rec and typedef
+  \ LF inductive coinductive stratified proof schema rec and typedef
 hi def link belDecl Structure
 
 syn keyword belTotal total
@@ -60,7 +60,7 @@ syn region belObjLam
   \ matchgroup=belObjLamP start=/\\/ matchgroup=belArrowEtc end=/\./ transparent
 hi def link belObjLamP Define
 
-syn keyword belMetaLam fn mlam
+syn keyword belMetaLam fn mlam fun
 hi def link belMetaLam Define
 
 syn keyword belCase case of impossible