more minor modifications to intro