core/sched.c: remove double spaces