# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
# Date 1433499956 -3600
# Node ID d564033f1e25e21920d6f1c68f69b9a702fcde3d
# Parent  92aea9ab80607d628bcfe920e7051e77297d47eb
Safari fix for Specification node

diff -r 92aea9ab8060 -r d564033f1e25 core.js
--- a/core.js	Fri Jun 05 10:49:52 2015 +0100
+++ b/core.js	Fri Jun 05 11:25:56 2015 +0100
@@ -1026,9 +1026,13 @@
 		// On construction:
 		if (Collection.length != 0) {
 			Collection = Collection[0];
-			for (var i=0; i<Collection.childElementCount; i++) {
-				var child = Collection.children[i];
+			if (Collection.childElementCount != 0) {
+				var child = Collection.firstElementChild;
 				this.options.push(new this.OptionNode(child));
+				while (child.nextElementSibling != null) {
+					child = child.nextElementSibling;
+					this.options.push(new this.OptionNode(child));
+				}
 			}
 		}
 	};