no bug - small formatting fix for docs