Fix launch-proc bugs