Correct wrong register in this example, pointed out by Baoshan Pang.