Doc fixes, again.