Corrected some links in the documentation referencing a file in the
src-tree