Trivial lint fixes for labels, proxy and scheduler

as above wrt to tautology.