Make chktex happy