Final commit before moving to Camera_ready.tex
Changes ported to Camera_ready.tex.