Corrected INSTALL_DOCS issue.