[raphman]

Indeed. However, this explanation is only given after the example has already made use of these registers. As I stated, just a very minor issue... :)