Fix shortlabel parsing when it's numeric

Short labels that were numeric were directly interpreted as a flag,
which was undocumented, inconsistent and not very useful.