Actual fix for issue #1302