diff --git a/CHANGELOG.md b/CHANGELOG.md
index ecb7dea..c68bd17 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -23,9 +23,8 @@ even on minor releases, e.g. `v0.7.5` -> `v0.7.6`.
 
 *  release as self-contained Linux binaries (for `x86_64`, `aarch64`, and
    `armv8` architectures) rather than Docker images. This minimizes hassle and
-   total download size. Along the way, we switched libc to from `glibc` to
-   `musl` in the process. Please report any problems with the build or
-   instructions!
+   total download size. Along the way, we switched libc from `glibc` to `musl`
+   in the process. Please report any problems with the build or instructions!
 
 ## v0.7.7 (2023-08-03)
 
diff --git a/server/db/schema.sql b/server/db/schema.sql
index 6fc43e4..60618c7 100644
--- a/server/db/schema.sql
+++ b/server/db/schema.sql
@@ -361,8 +361,8 @@ create table user_session (
 
   -- A value indicating the reason for revocation, with optional additional
   -- text detail. Enumeration values:
-  -- 0: logout link clicked (i.e. from within the session itself)
-  -- 1: obsoleted by a change in hashing algorithm (eg schema 5->6 upgrade)
+  -- 1: logout link clicked (i.e. from within the session itself)
+  -- 2: obsoleted by a change in hashing algorithm (eg schema 5->6 upgrade)
   --
   -- This might be extended for a variety of other reasons:
   -- x: user revoked (while authenticated in another way)