ReConverge: fix spurious warning