Small fix for issue #9275

Small fix to docs! I found out when trying to get my dev environment set up with new modules repos