Indeed this worked thanks for that.
However I was just about to report another bug to you which your patch seems to have removed. But in case it helps, if you are not implementing this patch in future versions: with the numbering on, prior to the patch removing it I had just discovered a problem under IE11 whereby instead of the icons being placed horizontally they were presented vertically. Inspection revealed the presence of presumably a a js/jquery artifact that was being inserted into the ul tag attributes (sizzle-1377765392290 =”[object Object]”), and which was not occurring in other browsers tested. I see something about a similar issue on stackoverflow https://stackoverflow.com/questions/18504763/jquery-is-adding-a-strange-attribute-to-html-elements hope it is useful to you.
And again thanks for the patch.