Fixes #7508