Updating the documentation build configuration.
Fixing a minor documentation bug.