minor fix in launch