minor formatting adjustments