another minor formatting change