BUG: cleans up how jump targets are read.