Fixes #7105