If that *is* needed, then you are absolutely right :-/