some little chenges to the writeup