Added two minor fixes related to safari launcher