small edits to intro PDF