Small correction for the deadlock removal