You are right - committed a fix, but looks like github is taking longer to rebuild the pages.