Separate names with a comma.
Upton, Does your solution work? If so, what are the exact Terminal instructions to type in? Thanks.