Small doc fixes

Closes #4374 
Closes #4375

in case the authors of those 2 commits don't update their DCO