On page 7 lines are numbered from lowest to highest values. A purist
might consider this wrong, but this is unlikely to happen on a real
book, since (I guess) line numbers on headers only make sense when they
two different series cannot be on the same page.

Many thanks for your help,