Some minor modifications to the .tex file.