Small revisions to the main domain page.