Carsten Dominik <domi...@uva.nl> writes: >> Is this something that we can (easily) fix? > > Not easily. I have made it throw an error now, but there may be > other situations like this which are not yet captured.
Throwing an error in this case is already an improvement -- thanks for this! -- Bastien
