Fixed error in LaTeX write-up