Corresponding revision for the proceedings paper