A Note on Raymond's Tree Based Algorithm for Distributed Mutual Exclusion