Explanatory comment at critical line in no_explode listing