minor formatting updates...