Fix indenting in launcher.py