Fix min_label() bug

Recall that PartialString::empty()::min_label() is undefined.