Kommentare nummerieren

Bei einigen Artikeln haben sich mittlerweile recht viele Kommentare angesammelt, daher finde ich eine Nummerierung der Kommentare, ähnlich wie in meinem Gästebuch, nicht schlecht. Das funktioniert z.B. so:

Die Kommentare werden als sortierte Liste ausgegeben (definiert durch <ol id="commentlist"> in meiner comments.php).
Unter das <li id="comment-<?php comment_ID() ?>"> habe ich eingefügt:
<?php echo ++$count; ?>, dieses habe ich noch in einen div-Container gepackt und diesem eine Klasse zugewiesen, welche ich in der style.css so definiert habe, dass die Kommentarnummern rechtsbündig stehen und eine andere Farbe und Größe haben als der übrige Text.