further minor cleanup of the docs