Fixed one of the ThautTests