Fix ktsan doc