Fixes #7290