small formatting change for better GitHub MarkDown rendering