small changes tex file