fix for issue #72