*) Fix potential number error.