update overview.tex based on Chris' update