diff --git a/libdisco/README.md b/libdisco/README.md
index 2a62200..bc8afc7 100644
--- a/libdisco/README.md
+++ b/libdisco/README.md
@@ -6,6 +6,8 @@ This has use cases close to TLS: it allows you to encrypt communications.
 
 **This software is experimental. You must not use this in production.**
 
+[![Build Status](https://travis-ci.org/mimoo/disco.svg?branch=master)](https://travis-ci.org/mimoo/disco)
+
 ## Documentation
 
 head over at [www.discocrypto.com](https://www.discocrypto.com)
diff --git a/specification/disco.md b/specification/disco.md
index bd16a0d..0f86202 100644
--- a/specification/disco.md
+++ b/specification/disco.md
@@ -2,9 +2,9 @@
 title:      'Noise Extension: Disco'
 author:
  - David Wong (david.wong@nccgroup.trust)
-revision:   '5'
+revision:   '6'
 status:     'unofficial/unstable'
-date:       '2018-01-14'
+date:       '2018-05-15'
 link-citations: 'false'
 ---
 
diff --git a/specification/output/disco.html b/specification/output/disco.html
index 22e84cf..e483c89 100644
--- a/specification/output/disco.html
+++ b/specification/output/disco.html
@@ -5,7 +5,7 @@
   <meta http-equiv="Content-Style-Type" content="text/css" />
   <meta name="generator" content="pandoc" />
   <meta name="author" content="David Wong (david.wong@nccgroup.trust)" />
-  <meta name="date" content="2018-01-14" />
+  <meta name="date" content="2018-05-15" />
   <title>Noise Extension: Disco</title>
   <style type="text/css">code{white-space: pre;}</style>
   <link rel="stylesheet" href="spec_markdown.css" type="text/css" />
@@ -14,8 +14,8 @@
 <div id="header">
 <h1 class="title">Noise Extension: Disco</h1>
 <b>Author:</b> David Wong (david.wong@nccgroup.trust)<br/>
-<b>Revision:</b> 5<br/>
-<b>Date:</b> 2018-01-14<br/>
+<b>Revision:</b> 6<br/>
+<b>Date:</b> 2018-05-15<br/>
 <b>Status:</b> unofficial/unstable<br/>
 <b>PDF:</b> <a href="disco.pdf">disco.pdf</a><br/>
 </div>
diff --git a/specification/output/disco.pdf b/specification/output/disco.pdf
index 29f19e9..7e9a1ba 100644
Binary files a/specification/output/disco.pdf and b/specification/output/disco.pdf differ