One last bug fix in the STM results.