Tiny change on tex file