some tiny adjustment of the writeup