Fix to bug found by test_launch script. ;)