From 117f29096df30b4195db4d6f8d5dc62965e4aa7b Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 10 Mar 2015 19:54:28 -0400
Subject: [PATCH] Fix wrong property name

---
 unpacked/jax/output/CommonHTML/jax.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index e04896bfd..16cedaac9 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -1579,7 +1579,7 @@
       toCommonHTML: function (node) {
         node = this.CHTMLdefaultNode(node,{
           childNodes:["mjx-numerator","mjx-denominator"],
-          forceChild:true, noBBox:true, childCount:2
+          forceChild:true, noBBox:true, minChildren:2
         });
         var values = this.getValues("linethickness","displaystyle","scriptlevel",
                                     "numalign","denomalign","bevelled");