Little tweak in make_strict.sh