fix for issue #333