additional small formatting tweaks for a GitHub markup newbie