On Jul 30, 2015, at 12:40 PM, Marcus Denker <marcus.denker@inria.fr> wrote:Yes, we checked. This explains the strange ���too large��� rectangle :-)