fix for issue #478