Minor fixes to intro