small fixes in tsanomaly post