isl_schedule.c: fix whitespace