diff --git a/Ganeti/HTools/QC.hs b/Ganeti/HTools/QC.hs
index 5f3b0a86b4301b4fe03a0e469b157cd87789b7dc..b7a030f1461cc01743e9d0f886b40c3f336aa2ca 100644
--- a/Ganeti/HTools/QC.hs
+++ b/Ganeti/HTools/QC.hs
@@ -643,8 +643,8 @@ prop_ClusterCanTieredAlloc node inst =
         il = Container.empty
     in case Cluster.tieredAlloc nl il inst rqnodes [] of
          Types.Bad _ -> False
-         Types.Ok (_, _, il, ixes) -> not (null ixes) &&
-                                      IntMap.size il == length ixes
+         Types.Ok (_, _, il', ixes) -> not (null ixes) &&
+                                      IntMap.size il' == length ixes
 
 -- | Checks that on a 4-8 node cluster, once we allocate an instance,
 -- we can also evacuate it
@@ -687,7 +687,7 @@ prop_ClusterAllocBalance node =
         i_templ = createInstance Types.unitMem Types.unitDsk Types.unitCpu
     in case Cluster.iterateAlloc nl' il i_templ rqnodes [] of
          Types.Bad _ -> False
-         Types.Ok (_, xnl, il', insts) ->
+         Types.Ok (_, xnl, il', _) ->
                    let ynl = Container.add (Node.idx hnode) hnode xnl
                        cv = Cluster.compCV ynl
                        tbl = Cluster.Table ynl il' cv []