minor wording change in the writeup