For SVY-7473 : the actual reported problem is no longer reproducible,
but I fixed two other expections that were in the way.