Time TEX and removed wrong comment.