Fix bug in labelled-jump handling during registerization.