Slight optimization for greedy scheduler