Removed accidental additional code from the pdf.