a few changes to the write-up