More minor doc cleanup.