Small docs changes

addresses #3846