This exception was invalidated. It was removed by the author or found useless.