Argh, I forgot to actually go fix that. I did however start a mini holy war on the Mozilla bug page about it, and came to the conclusion that no current web spec states what to do if an ordered list starts at 0 or a negative number.