--- a/spec/microxml.html	Sun Sep 23 15:28:19 2012 +0700
+++ b/spec/microxml.html	Mon Sep 24 17:22:22 2012 +0700
@@ -408,7 +408,7 @@
     <pre>[23] char ::= s | ([#0-#x10FFFF] - forbiddenCodePoint)
 
 [25] forbiddenCodePoint ::= controlCodePoint | surrogateCodePoint | nonCharacterCodePoint
-[26] controlCodePoint ::= [#x0-#1F] | [#7F-#9F]
+[26] controlCodePoint ::= [#x0-#1F] | [#x7F-#x9F]
 [27] surrogateCodePoint ::= [#xD800-#xDFFF]
 [28] nonCharacterCodePoint ::= [#xFDD0-#xFDEF] | [#xFFFE-#xFFFF] | [#x1FFFE-#x1FFFF]
                              | [#x2FFFE-#x2FFFF] | [#x3FFFE-#x3FFFF] | [#x4FFFE-#x4FFFF]