Fixing some errors in the launcher script