small formatting fix to make github's markdown renderer happy.