Fix the inevitable mistake
Update TeX documentation