additional assertion to avoid deadlock