A little doc cleanup.