more minor formatting updates