1 files changed, 2 insertions, 2 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java b/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java
index ff4bb035..b3666a86 100644
--- a/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java
+++ b/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentAccess.java
@@ -58,10 +58,10 @@ public class PushWebDocumentAccess extends XtextWebDocumentAccess {
         
         protected String getPrecomputedServiceName(AbstractCachedService<? extends IServiceResult> service) {
                 if (service instanceof ValidationService) {
-                        return "validation";
+                        return "validate";
                 }
                 if (service instanceof HighlightingService) {
-                        return "highlighting";
+                        return "highlight";
                 }
                 throw new IllegalArgumentException("Unknown precomputed service: " + service);
         }