minor fixes at the end of Introduction