some minor formatting change