PriQueue finally fixed