small formatting changes (for tracking within doc)