Fixes #7354