Fixing a couple of errors in the document.