Minor doc cleanup.