diff --git a/src/vector-crypto.adoc b/src/vector-crypto.adoc
index f1a32930d..bf07befb5 100644
--- a/src/vector-crypto.adoc
+++ b/src/vector-crypto.adoc
@@ -111,11 +111,11 @@ This supporting code is listed in
 
 
 The 
-link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual]
+link:https://alasdair.github.io/manual.html[Sail Manual]
 is recommended reading in order to best understand the code snippets.
 Also, the
 link:https://github.com/billmcspadden-riscv/sail/blob/cookbook_br/cookbook/doc/TheSailCookbook_Complete.pdf[The Sail Programming Language: A Sail Cookbook]
-is a good reference that is in the process of being written.
+is a good reference.
 
 For the latest RISC-V Sail model, refer to
 the formal model Github