Trivial lint fixes for labels, proxy and scheduler

tautology, delete.