minor docs polish