filling in some gaps in the documentation [ci skip]