The Englander text has some obvious errors. As I find them, I'll list
them here.
p.149
The location counter must be incremented after the fetch and before
the instruction is executed. (It must not be incremented after
the instruction is executed!)
p.158
The program counter register holds the address of the next
instruction to be executed (not the current instruction).