extra paranoia. this will never actually trigger, but it makes christoph's checker happy. and, after all, maybe somebody feels compelled to use this code somewhere else. ;)