A Remark on Distributed Termination