Either we throw an exception or we ignore it. But we should certainly not print this to the end-user...