Fixes #7219