* main_spatch.ml: fix
* main_spatch.ml: misc
* main_spatch.ml: comment