Correcting TeX formatting errors.