Minor fixes for two preemptive algorithms