Cleaned up some stuff in Introduction section.