Minor fixes to Python intro lecture