Fix pqueue4 type.