Added fix to display table/procedure/figure numbers in Firefox