Very minor formatting.