#66: Fixed a bug in documentation index.