Remove unreproducible bug