-
Joachim Breitner authored
and fix the numbering in the comments. Thank to SPJ for noticing. Nothing deep in here, just a insufficent copy’n’pasting in revision 7e78faf0. Incidentially, 7e78faf0 did a better job updating the comments than the code :-).
b6d52294