updating math spec to avoid race condition