small formatting edits in paper.