Fix bug in instdocs.sh