Minor fixes on documentation [ci skip]