Fixes #7253