Finish fixing heapsortPRO bug