Added a small change to tex file