BUGFIX: heap update-key was wrong