debug and verify issue #239