Corrected two mistakes in write_launch_browser_script()