Misc updates to introduction