diff --git a/bootstrap/README.md b/bootstrap/README.md
index 40c82f9c..5a283c34 100644
--- a/bootstrap/README.md
+++ b/bootstrap/README.md
@@ -51,7 +51,7 @@ switches).  So, on to the next section:
 
 ## selfconfig
 
-If you've got a fresh Debian system (Bookworm, at time of writing), you can use
+If you've got a fresh Debian system (Trixie, at time of writing), you can use
 the selfconfig system to build a new PAUSE.  Start by copying `selfconfig-root`
 to that Debian box.  Run it as root and watch the magic.
 
diff --git a/bootstrap/mkpause b/bootstrap/mkpause
index 8cbd8980..bb0b0c85 100755
--- a/bootstrap/mkpause
+++ b/bootstrap/mkpause
@@ -169,7 +169,7 @@ async sub do_create {
     @key_ids = map {; $_->{id} } @keys;
   }
 
-  my $image  = 'debian-12-x64';
+  my $image  = 'debian-13-x64';
   my $region = 'nyc3';
   my $size   = $opt->size;
 
diff --git a/doc/installing-pause.md b/doc/installing-pause.md
index d38514d3..73502446 100644
--- a/doc/installing-pause.md
+++ b/doc/installing-pause.md
@@ -17,7 +17,7 @@ Other places with docs:
 These instructions describe how to set up a private, or local, PAUSE
 server for development and testing.
 
-1. Provision a Debian host, preferably running Debian 12 (Bookworm)
+1. Provision a Debian host, preferably running Debian 13 (Trixie)
 2. Copy the `bootstrap/selfconfig-root` program to that host and run it
 3. You're done!