diff --git a/src/standard/configure.html b/src/standard/configure.html
index c6f0551bf0..62fd8cf1ff 100644
--- a/src/standard/configure.html
+++ b/src/standard/configure.html
@@ -131,7 +131,9 @@
var fx = fx$[p];
if (fx) {
for (var i=0, l=fx.length, x; (i