fix up addition of stop menu item for mac dock (#287)