minor changes during writeup