minor tweaks (eg, capitalization of Internet)