From 7f34a9142227ddecf7f559d23d0b791a604c8951 Mon Sep 17 00:00:00 2001
From: Ade Bateman <bateman@acm.org>
Date: Thu, 15 Sep 2016 14:12:11 -0700
Subject: [PATCH] ISO4217 is informative.

Fixes #242.
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 3310dece..daeb6a11 100644
--- a/index.html
+++ b/index.html
@@ -637,7 +637,7 @@ <h2>PaymentCurrencyAmount</h2>
     <dt><code><dfn>currency</dfn></code></dt>
     <dd>
       <code>currency</code> is a string containing a currency identifier. The most common
-      identifiers are three-letter alphabetic codes as defined by [[!ISO4217]] (for example,
+      identifiers are three-letter alphabetic codes as defined by [[ISO4217]] (for example,
       <code>"USD"</code> for US Dollars) however any string is considered valid.
     </dd>
     <dt><code><dfn>value</dfn></code></dt>