bug fix in 3);
added tex