I don't like this `m_last_set_label`, but I don't (yet) see a better solution.  We can improve this later.