ref #86: add some debugging log, although it may not be useful