Minor updates to the write-up.