small formatting fixes for metric space notes