Small fixes to intro