minor docs improvement