Great video courses! It's also witty and really fun to learn!
There seems to be a minor typo (or glitch?) in course 6 (TwoPhase commit) at around time 15:50 . The text in "Init" box should be "TPInit" instead of "TPnit". (http://lamport.azurewebsites.net/video/video6.html)