Fixes indentation for scheduler_thread.h