fix taus88