Fixes #7388