Updated to fix the things that I discovered were missing during the talk