diff --git a/doc/go_spec.html b/doc/go_spec.html
index 06dcf3918e..bcde026723 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -90,7 +90,8 @@ Each code point is distinct; for instance, upper and lower case letters
 are different characters.
 </p>
 <p>
-Source code must not contain the NUL character (U+0000).
+Implementation restriction: For compatibility with other tools, a
+compiler may disallow the NUL character (U+0000) in the source text.
 </p>
 
 <h3 id="Characters">Characters</h3>