Minor change of documentation directory name.