@@ -324,11 +324,11 @@ instance Pretty [Name] OutputAnnotation where
324324 pretty = encloseSep empty empty comma . map pretty
325325
326326instance Show Name where
327− show (UN n) = "UN:" ++ show (str n)
328− show (NS n s) = "NS." ++ showSep "." (map T.unpack (reverse s)) ++ "." ++ show n
327+ show (UN n) = show (str n)
328+ show (NS n s) = showSep "." (map T.unpack (reverse s)) ++ "." ++ show n
329329 show (MN _ u) | u == txt "underscore" = "_"
330330 show (MN i s) = "{" ++ str s ++ show i ++ "}"
331− show (SN s) = "SN." ++ show s
331+ show (SN s) = show s
332332 show NErased = "_"
333333
334334instance Show SpecialName where