port doc fix from main repo to docs repo #109

Closed sjpotter closed 4 years ago