Fix comment in texvccheck.ml

Change-Id: I8fae697e073d3807896223dba880a2058732e778