(refs #16) also fixed the old /doc/ page.