Merge branch 'pippijn-heap'