Fixing #7253
Fixing #7253