Some changes in tex files