Same remark here: I don't think that we need this. My analysis of the problem was wrong.