Fixed embarassing bug in StrictPriorityQueue.isEmpty ...