bug solved in waitUntilSTM