diff --git a/scripts/stop-server b/scripts/stop-server
index 03f127758d..760437b1a9 100755
--- a/scripts/stop-server
+++ b/scripts/stop-server
@@ -49,6 +49,7 @@ if has_application_server():
     services.append("zulip-django")
     services.append("zulip-tornado:*")
     services.append("zulip-workers:*")
+    services.append("zulip-katex")
     if has_application_server(once=True):
         # These used to be included in "zulip-workers:*"; we may be
         # stopping an older version of Zulip, which has not applied