TreiberStack bugfix