don't leak 'k' ... that was the one supposed to be pushed into the priority queue

and not the original 'key' pointer