minor additions to introduction