Address #310: add xref to terminate a worker