Fixed error in write-up