diff --git a/infrastructure.org b/infrastructure.org
index 73adef5..16a6243 100644
--- a/infrastructure.org
+++ b/infrastructure.org
@@ -1281,11 +1281,11 @@ The proxy lives at =/docker/compose/oidc-rewrite-proxy.py= on production-1:
 
 #+BEGIN_SRC python :tangle /docker/compose/oidc-rewrite-proxy.py
 #!/usr/bin/env python3
-\"\"\"Minimal OIDC discovery rewrite proxy for Gitea's openidConnect provider.
+"""Minimal OIDC discovery rewrite proxy for Gitea's openidConnect provider.
 
 Listens on 0.0.0.0:9122. Rewrites internal Authentik URLs to the public
 HTTPS URL so Gitea redirects browsers to auth.gharbeia.net.
-\"\"\"
+"""
 
 import json
 import sys