changed default labeling

diff --git a/index.html b/index.html
index 96b6c5e8127c4ceda28f694c700243444d54cbe7..3afc1d1413b0702941421ea49c9b9a1940d1b996 100644 (file)
--- a/index.html
+++ b/index.html
@@ -30,10 +30,10 @@
     <div id="formatter">
       Formatter<br/>
       <input type="radio" name="idolbl"
-            id="idlblid">
+            id="idlblid" checked="checked">
       <label for="idlblid">Use automatically generated IDs</label><br/>
       <input type="radio" name="idolbl"
-            id="idlbllbl" checked="checked">
+            id="idlbllbl">
       <label for="idlbllbl">Use user-given labels</label><br/>
       <button id="fmt">Get representation</button><br/>
       <textarea name="results" id="results" rows="10" cols="50" style="display:none"></textarea>