minor formatting adjustment