Fixed small bug in the heuristic (targetting opam-rt)