diff --git a/Makefile b/Makefile
index 70a551fd..a964ea1d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,9 +5,7 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
 all: $(markdown)
 
 test: build
-	ruby -S bundle exec jekyll clean
-	ruby -S bundle exec jekyll build
-	ruby -S bundle exec htmlproofer _test
+	ruby -S bundle exec htmlproofer _site
 
 statistics:
 	hs/agda-count
diff --git a/README.md b/README.md
index f7d1d063..9fc677ba 100644
--- a/README.md
+++ b/README.md
@@ -4,11 +4,11 @@ title: About
 permalink: /about/
 ---
 
-This book is an introduction to programming language theory, written in Agda.  The authors are [Wen Kokke](twitter.com/wenkokke) and [Philip Wadler](https://softwarefoundations.cis.upenn.edu/).
+This book is an introduction to programming language theory, written in Agda.  The authors are [Wen Kokke](https://twitter.com/wenkokke) and [Philip Wadler](https://softwarefoundations.cis.upenn.edu/).
 
 Please send us comments!  The text is currrently being drafted. The first draft of Part I will be completed before the end of March 2018. When that is done it will be announced here, and that would be an excellent time to comment on the first part.
 
-The book was inspired by [Software Foundations](softwarefoundations.cis.upenn.edu), but presents the material in a different way; see the [Preface](Preface).
+The book was inspired by [Software Foundations](https://softwarefoundations.cis.upenn.edu), but presents the material in a different way; see the [Preface](/Preface/).
 
 ## How to host literate code
 
@@ -45,10 +45,10 @@ See [agda-input.el](https://github.com/agda/agda/blob/master/src/data/emacs-mode
     C-c C-c x    split on variable x 
     C-c C-space  fill in hole
 
-See [the emacs-mode docs]( http://agda.readthedocs.io/en/latest/tools/emacs-mode.html) for more details.
+See [the emacs-mode docs](http://agda.readthedocs.io/en/latest/tools/emacs-mode.html) for more details.
 
 ## Markdown
 
-For an overview of the Markdown syntax, see [the original description](daringfireball.net/projects/markdown/syntax), [the CommonMark project](spec.commonmark.org/0.28/), or [the version that is used in this book](kramdown.gettalong.org/syntax.html).
+For an overview of the Markdown syntax, see [the original description](https://daringfireball.net/projects/markdown/syntax), [the CommonMark project](https://spec.commonmark.org/0.28/), or [the version that is used in this book](https://kramdown.gettalong.org/syntax.html).