actual fix for issue #6