debugging for issue #22