cosmetic fixes to the code in REEF Launcher