fix for issue #442