fix for a thrown exception in the context of issue #42 ( the exception
was reported in the thread to issue 32)