jump_label: Use more consistent naming