fix for issue #463