small formatting and assumption edits