Ooops. One more try to get this right on gh-pages.