Fixed heapinsertPRO bug, which prevented one from getting the full score.