minor formatting change