Fix a typo within the launcher. Fixes bug #1058.