Luigi, thanks for the hint. I have changed the default behaviour accordingly.