Minor changes to intro and extensions