Trivial lint fixes for labels, proxy and scheduler

Actually I would argue to leave the lock where it is. Common practice is to put the lock above the fields that it protects.