The coding style is updated and the scheduler is verified.