fix for issue#342