Several clarifications and improvements to deadlock example.