fix a bug that would stop the scheduler booting properly the first time