small patch to ease debugging in a particular case
Merge pull request #111 from jbremer/master

small patch to ease debugging in a particular case