more minor formatting