diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000000..86bce9d29c
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,8 @@
+// Only run on Linux atm
+wrappedNode(label: 'linux') {
+  deleteDir()
+  stage "checkout"
+  checkout scm
+
+  documentationChecker("docs")
+}
diff --git a/docs/governance/board-profiles.md b/docs/governance/board-profiles.md
index ca7eb7a3a8..fb88f73030 100644
--- a/docs/governance/board-profiles.md
+++ b/docs/governance/board-profiles.md
@@ -48,7 +48,7 @@ and community of the Docker Project.
 * Michael Crosby
 * Steve Francia
 * Stephen Day
-* Arnaud Poterie
+* Arnaud Porterie
 
 ## Individual Contributors
 
@@ -64,7 +64,7 @@ and community of the Docker Project.
 * Ahmet Alp Balkan (Microsoft)
 * Rohit Jnagal (Google)
 
-## User
+## Users
 
 * Nicola Paolucci (Atlassian)
 * Burke Libbey (Shopify)