small patch to ease debugging in a particular case