True, but I personally think this is worth one line of code, since it's more obvious that an important collaborator is involved.