changes to help debugging issue #56