github formatting adjustments;