Fixed issue where data race detection was broken