diff --git a/docs/examples/users.md b/docs/examples/users.md
index 2c48f8e76..c3cdb43b5 100644
--- a/docs/examples/users.md
+++ b/docs/examples/users.md
@@ -251,7 +251,7 @@ basic_auth.send_validation() returns trigger
 declare
   tok uuid;
 begin
-  select uuid_generate_v4() into tok;
+  select gen_random_uuid() into tok;
   insert into basic_auth.tokens (token, token_type, email)
          values (tok, 'validation', new.email);
   perform pg_notify('validate',
diff --git a/docs/install/server.md b/docs/install/server.md
index 14d8dfcc8..048987c88 100644
--- a/docs/install/server.md
+++ b/docs/install/server.md
@@ -55,7 +55,8 @@ sudo apt-get install -y libpq-dev
 ```bash
 git clone https://github.com/begriffs/postgrest.git
 cd postgrest
-sudo stack install --install-ghc --local-bin-path /usr/local/bin
+stack build --install-ghc
+sudo stack install --allow-different-user --local-bin-path /usr/local/bin
 ```
 
 * Run the server