> That should be 7 + 11 - 1 = 17 and 7 + 6 - 1 = 12, shouldn't it?

Yep, it should be. Misread my terminal output and wondered for a bit
why the second one is longer than the first. Should have thought about
double-checking.