fix for issue #592