isl-0.12.2 fix