Fixed an issue in the documentation that referenced an obsolete directory.