minor tweaks as I read through the paper