tiny updates in write-up