Minor: fix a wrong path
Minor: documentation