Minor doc changes. Google style.