Web page: small formatting correction.