bugfix: allow target labels to have digits in them