The stored key of "L" is possibly larger than its correct key (if "L" was corrupted), and even this larger value is smaller than all the stored keys of the remaining elements in the heap (as we were removing minimums).