Deleting stuff that should have been deleted in a previous commit.