fix leftover ISL