diff --git a/services/web/frontend/js/ide.js b/services/web/frontend/js/ide.js
index b486aafa3f..f7b4e9ed4d 100644
--- a/services/web/frontend/js/ide.js
+++ b/services/web/frontend/js/ide.js
@@ -310,6 +310,11 @@ If the project has been renamed please look in your project list for a new proje
               'Grammarly',
               'SessionLength',
               'Memory',
+              'Lags',
+              'NonLags',
+              'LongestLag',
+              'MeanLagsPerMeasure',
+              'MeanKeypressesPerMeasure',
               'Release',
             ]