Published fix for issue #7