threading bugfix in Symbol