Fixed a chktex warning.