issue #286: fix a bug in the logging...