Made some style revisions, and removed a reference to an unused file.