Fixed error in TeX source.