Bugfix in Heap.stg, found by Andres