Fix a remaining reference to doc-dev