diff --git a/ivette/src/dome/renderer/frame/toolbars.tsx b/ivette/src/dome/renderer/frame/toolbars.tsx
index edf993e9012febead6274f51bb9db0f685d1fe08..9d7e9f196a9500a5e50299b99b956b5db906ada4 100644
--- a/ivette/src/dome/renderer/frame/toolbars.tsx
+++ b/ivette/src/dome/renderer/frame/toolbars.tsx
@@ -532,7 +532,7 @@ export function ModalActionField() {
 
   // Auxiliary function that build a Hint from an ActionMode.
   const modeToHint = (mode: ActionMode) => {
-    const { label, title, icon } = mode;
+    const { label, title = '', icon } = mode;
     const id = 'ActionMode-' + title + '-' + icon;
     const value = () => { onModeChange(mode); };
     return { id, icon, label, title, value, rank: -1000 };
@@ -562,7 +562,7 @@ export function ModalActionField() {
     const hs = await modesMode.hints(input);
     const notCurrent = (h: Hint) => !(h.label.includes(current.label));
     return hs.filter(notCurrent);
-  }, [current.title, modesMode]);
+  }, [current.label, modesMode]);
 
   // Register the new search engine.
   React.useEffect(() => {
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 881991dd87884ffeca63da8a8ea32a3b57af5920..61134be680a1e7fbd1fb15fddabbc0d372a4a22e 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -44,7 +44,9 @@ let get_term kf term =
   try Some (!Db.Properties.Interp.term ~env kf term)
   with Logic_interp.Error _ | Parsing.Parse_error -> None
 
-let key_of_localizable = let open Printer_tag in function
+let key_of_localizable =
+  let open Printer_tag in
+  function
   | PStmt _ | PStmtStart _ | PTermLval _ | PVDecl _ | PGlobal _ | PIP _ -> None
   | PLval (_, Kglobal, _) | PExp (_, Kglobal, _) -> None
   | PLval (kf, Kstmt stmt, lval) ->