Added tie-breaking rules to html output.