Small improvements on the documentation

re #6174