A couple corrections to intro doc