schedulersmpimpl.h: Fix spacing