I think I am on safe ground in saying that Dijkstra was well aware of the use of jumps in asm, but that is beside the point he was making in the <i>body</i> of the paper - as opposed to the point, taken from the <i>title</i> of the paper, that most of the argument has been about.