diff --git a/.github/workflows/docs-update.yml b/.github/workflows/docs-update.yml
index fef52a6..d2fc6eb 100644
--- a/.github/workflows/docs-update.yml
+++ b/.github/workflows/docs-update.yml
@@ -1,18 +1,18 @@
 name: Notify central docs of update
 
 on:
-  push:
-    paths:
-      - 'docs/**'
+    push:
+        paths:
+            - "docs/**"
 
 jobs:
-  notify-docs-repo:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Trigger docs site rebuild
-        run: |
-          curl -X POST \
-            -H "Authorization: Bearer ${{ secrets.DOCS_DEPLOY_TOKEN }}" \
-            -H "Accept: application/vnd.github+json" \
-            https://api.github.com/repos/vrui-vr/docs/actions/workflows/build-and-deploy.yml/dispatches \
-            -d '{"ref":"main"}'
+    notify-docs-repo:
+        runs-on: ubuntu-latest
+        steps:
+            - name: Trigger docs site rebuild
+              run: |
+                  curl -X POST \
+                    -H "Authorization: Bearer ${{ secrets.DOCS_DEPLOY_TOKEN }}" \
+                    -H "Accept: application/vnd.github+json" \
+                    https://api.github.com/repos/vrui-vr/vrui-vr.github.io/actions/workflows/build-and-deploy.yml/dispatches \
+                    -d '{"ref":"main"}'
diff --git a/docs/installation/index.md b/docs/installation/index.md
index 58ac3c9..c34f10a 100644
--- a/docs/installation/index.md
+++ b/docs/installation/index.md
@@ -3,7 +3,7 @@
 !!! info "Heads up!"
     VRUI must be installed before the Kinect package can be installed.
 
-1. Install VRUI [(go to instructions $\rightarrow$)](https://vrui-vr.github.io/docs/vrui/installation/)
+1. Install VRUI [(go to instructions $\rightarrow$)](https://vrui-vr.github.io/vrui/installation/)
 2. Install Kinect package!!!
 
 ## Prerequisites