@@ -1155,8 +1155,9 @@ htmlTag f = try $ do
11551155 -- in XML element names
11561156 let isNameChar c = isAlphaNum c || c == ':' || c == '-' || c == '_'
11571157 let isName s = case s of
1158− [] -> False
1159− (c:cs) -> isLetter c && all isNameChar cs
1158+ [] -> False
1159+ ('?':_) -> True -- processing instruction
1160+ (c:cs) -> isLetter c && all isNameChar cs
11601161
11611162 let endpos = if ln == 1
11621163 then setSourceColumn startpos